Horizontal and Vertical Structuring of Typed Graph
نویسندگان
چکیده
Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and vertical structuring techniques for typed graph transformation systems. Composition of graph transformation systems w.r.t. common subsystems is shown to be compatible with the semantics, i.e., the semantics of the composed system is obtained as the composition of the semantics of the component systems. Moreover, the structure of a composed graph transformation system is preserved during a reenement step in the sense that compatible reenements of the components induce a reenement of the composition. The concepts and results are illustrated by a sample development of a small information system using entity relationship modeling techniques.
منابع مشابه
Investigation of Soil Amplification in North Cyprus
In this study, soil characteristics were investigated using four well-located earthquakes recorded by six accelerometers located in North Cyprus. The amplification values obtained according to the soil features were mapped in accordance with different frequencies using horizontal to vertical spectral ratio method. The dominant period values of the units below the station locations were calculat...
متن کاملAction Nets and Abstract Statecharts in the Theory of High-level Replacement Systems 5 Union and Transformation Concepts and Results
In software engineering one of the main issues is structuring. As well horizontal { composing and decomposing a system { as vertical structuring { stepwise reenement of a system { are essential for the development of large and complex systems. In this paper we transfer well-known structuring techniques for horizontal and vertical structuring, namely union and transformation to abstract statecha...
متن کاملHorizontal and Vertical Structuring Techniques for Statechartsa
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to deene union as horizontal as well as transformation and reen...
متن کاملHorizontal and Vertical Structuring Techniques for Statecharts
Abstract In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to de ne union as horizontal as well as transformation...
متن کاملEvaluation of Seismic Performance of Combined Horizontal and Vertical Hexagrid Structural System for High-rise Buildings
Summary In this study, the seismic performance of hexagrid structures which are composed of horizontal and vertical hexagrid by using a transitional story, has been investigated. To this end, 10 models of 50-story hexagrid structures were designed. 9 models with horizontal hexagrid cells which transited to vertical cells using a transitional story, and a model of completely horizontal hexagrid ...
متن کامل